Use new toolchain for G++ 4.7