Add 64-bit 4.7 toolchain for linux