Gracefully deal with unknown command-line options.