Travis: Use gcc 4.8 for compiling