Make 0.12 the default again, oops.