fix for Windows machines