mini-gmp: Fix mpz_clrbit normalization bug.
Merge remote-tracking branch 'upstream/branches/default'