/usr/lib/libgmp.so.10
/usr/lib/libgmp.so.10.0.5