1.4.2 version bump