Ulrich Mueller wrote:
> That it will link against -lgmp, i.e. GMP_LIB should not be empty with
> that option.

That's easy enough to change; I installed the attached.