added gmp4 dep