Gengetopt override option was losing command line flags (reported by
Steven Pollman)