Make the travis-ci environment use gcc 4.7