0700-getopt_mixed.patch