made some additional options available on the command line