gmp: Obsoleted by libgmp10