The sad part of the story is that the script testing this version number
is run after tagging by the coq-dev-tools Makefile... will fix that.