Tweak "gnulib --version" output.