with-gmp and friends are here twice?