Fix 'gnulib-tool --version' output to work with git.