Version number changes for 1.3.42