add a command-line option to specify a different config file