gnulib-tool: Improve last commit.