Updating: preparing for making libgmp optional