Fix for Windows crash of createmint