Increase the version number to 4.2