Add note about libgmp10