5e26fb6fdf
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.