Added GCC 4.8 toolchain