add some command-line options