Fix the Windows build