mysql: version bump