Use gcc 4.7 for Travis. This probably won't work.