2.5.1 version bump