Information voor 5.0-12464

Merge pull request #9041 from shuffle2/no-pch

windows: fix build if pch were to be disabled