Point to GCC 4.8