toolchain/gcc: add support for GCC 4.8.0