Use GCC 4.6 toolchain