version bump 5.1.142