Replacing libz3 for x64 with fresly built ones.