Ensure gcc-4.8 is used in .travis.yml