libgmp link updated