Use gcc 4.7 in travis.