Rename $Options to $config once processing of command-line options has been
completed.