Gcc 4.7.4

I should probably updated the toolchains to also use this version in the 4.7 series
this should be `gmp-5.1.3`, but certainly in sync with the non-CLooG easyconfig...