Tell Travis to use gcc 4.7