Use GCC v4.7 with Travis CI