Use 4.7 toolchain