Use GCC 4.8 with Travis.