Switch to new toolchain / GCC v4.7.4