Update after gnulib changed. * Makefile.devel (GNULIB_MODULES): Use the new names of renamed gnulib modules.