tweaking win32 port