Add --with-gmp etc. to the gcc recipe