Fix the Windows build.