Use GCC 4.8 for CI builds.