Tell Travis to use g++-4.8