* lib/getopt.c: Merge trivial change from gnulib.