cmdmain: use the given FlagSet