GCC 4.7.4: use GMP 5.1.3