I'm ready to apply patch 473512 : getopt with GNU style scanning, which adds getopt.gnu_getopt. Any objections? Regards, Martin