added no-dev option to command-line options