fix gnulib-tool manpage typo