Travis installs GCC 4.7