Let a configuration file be specified