Another Windows build fix.