//usr/lib/libgmp.so.3