These scripts come from gnulib and are updated by
$ make -f Makefile.devel gnulib-imported
