use gcc 4.8 for travis ci build