travis fix setting gcc-4.8