fix win32 port