Changes made by gnulib-tool