/usr/lib64/libgmpxx.so.4 /usr/lib64/libgmpxx.so.4.7.0