pluto does not depend on gmp anymore