Make the configuration file work on Windows!