usr/local/lib/libgmp.so.10.1.3 usr/local/lib/libgmpxx.so.4.3.3 usr/local/lib/libgmpxx.so usr/local/lib/libgmpxx.so.4 usr/local/lib/libgmp.so usr/local/lib/libgmp.so.10