add info about minimal gmp version