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