Got Travis to compile with g++ 4.8