make the configuration file argument explicit