usr/lib/*/libz3.so.*