Give command line precedence over configuration file. See #331.