update from latest gnulib