Make sure to always use GCC 4.7

Change-Id: Ibfcb70848a636287d1728245af244167a4ea49ea