3.13.1 version bump