libgmp: Link to the correct shared library.