gnulib: updated to recent version