link libgmp.so.3.4.2