gmp: Disabled static