distinguish between win32 and linux