some more command line options