/usr/local/lib/libgmp.so /usr/local/lib/libgmp.so.10 /usr/local/lib/libgmp.so.10.3.1 /usr/local/lib/libgmpxx.so /usr/local/lib/libgmpxx.so.4 /usr/local/lib/libgmpxx.so.4.5.1