Fix win32 compilation error