Fix savannah.gnu.org timeout: gnulib repos is changed