Point to version 0.12 of the compiler