//usr/lib64/libgmp.so.10.2.0