Force Travis CI to use GCC 4.8