one last place to update the version

I saw in a last commit there is many places where the version need to be updated after each release.
That makes one less.