update from gnulib