link libgmp.so.10.3.2