mend

Updating: preparing for making libgmp optional