getopt-gnu: flush out another BSD bug