When installing, get libgmp.a from the right place

No match.