Remove some no longer working command line options.