fix configuration on Windows