cart build: link to libgmp