Fix non-win32 code