Get GCC 4.8 in travis config