Travis: try to enable g++ 4.8