fix for mswin32