Choose GCC 4.8