some new command-line options