Re #8487. Give up and put the include back in the header.

The strange thing is that my local Windows build was just fine...