wrong_flag2.ggo:4: invalid specification for this kind of option