Add gmp since already installed anyway