Set version to 4.2