/usr/local/lib/libgmp.so /usr/local/lib/libgmp.so.10 /usr/local/lib/libgmp.so.10.2.0 /usr/local/lib/libgmpxx.so /usr/local/lib/libgmpxx.so.4 /usr/local/lib/libgmpxx.so.4.4.0