GCC: updated to 4.7.4
GCC 4.7.4: use GMP 5.1.3
GCC 4.7.4: now really use GMP 5.1.3
Merge pull request #928 from wpoely86/gcc-4.7.4

Gcc 4.7.4