.travis.yml: use GCC 4.8