make .travis.yml specify gcc-4.8 for the compiler