more user-friendly interface for duval
some getopt fixes