link libgmp.so.10.0.2