GCC 4.7.4: now really use GMP 5.1.3