Fixes for WIN32…