Fix problem when calling "gnulib-tool --update" on multiple directories.