/usr/lib/libgmp.so.10.5.0
/usr/lib/libgmp.so.10