Add stuff from gnulib.