fix for MSWin32