libgmpxx.so.4:/usr/lib:6.1.2