gnulib-tool: Addendum to 2011-06-08 commit.