fix: min required gmp version is 4.2