Use Google's GCC 4.8