add gmp >= 4.1.4 deps