Fix win32 issue