getopt.h appears once to have been shared with gnulib. Does anyone know if that's still a live concern for maintenance of that file? zw