Trying out forcing Travis to use GCC 4.7