use gcc-4.8 in .travis.yml