Switch to GCC 4.8