gnu/getopt/