Make 4.2 the default