I've discovered that we screwed up getopt's "standard" on CLI options when parsing the -v one. I have fixed that with an effect (not critical) on existing usage.