Make travis actually use gcc-4.7