Tell travis to use g++ 4.7.