Updating: adding the libgmp package.