Ensured that CI builds use GCC 4.8 instead of GCC 4.6.