fixes related to the win32 port