Use GCC 4.8 compiler with Travis CI