I solved it by installing that GMP version -- 4.3.1. I didn't read over the CONFIGURE file, but it's probably a bug in the script.