cd gmp-6.1.2
sh /path/to/configure-gmp.sh

make -j 4
make check    # <-- important, do not skip

sudo make install-strip