[PATCH 4/5] Add a fallback definition of mp_bitcnt_t, for GMP < 5