Fix: Don't crash on unknown command line options.