/usr/lib/*/libgmp.so.*