Make version number match the latest "release" in github.