travis: try gcc 4.8