//usr/lib/libgmpxx.so.3