Set GCC 4.8 as the default GCC on Travis-CI.