x86_32: libz3.so.5.0 x86_64: libz3.so.5.0
