Rename command-line options.