#39: make command line options prior to configuration file.