let users specify configuration file on the command line