link libgmp.so.10.2.0