x86_64: libz3.so.4.14
