When installing, get libgmp.a from the right place