gnulib/doc/INSTALL