Make Travis use g++4.8