aa76d4da80
I fully updated my src tree and did a `make includes' in /usr/src before trying this fix, so I can only presume that Bruce missed something.