Change the gmp download URL to https://gmplib.org/download