fix win32 compilation