travis: Use GCC 4.8