gmp is now in a top-level directory and we only have the tarball in the
darcs repo. It gets untarred if it is needed.