gnulib/config
