Travis: Use g++ 4.8