added a workaround for win32 support