diff --git a/lib-bin/64/libz3.so b/lib-bin/64/libz3.so
index 52b0f0abc22e3a383c9c724923357a23c49f24e1..9e743bf980e48487525b8e4fddae672046b27d69 100755
Binary files a/lib-bin/64/libz3.so and b/lib-bin/64/libz3.so differ
diff --git a/unmanaged/64/scalaz3.jar b/unmanaged/64/scalaz3.jar
new file mode 100644
index 0000000000000000000000000000000000000000..6850cc782fb62618ca4daee4a6185cb6725a3719
Binary files /dev/null and b/unmanaged/64/scalaz3.jar differ
diff --git a/unmanaged/64/z3.jar b/unmanaged/64/z3.jar
deleted file mode 100644
index a69f124bbc14d1ee6f3fe92e6906b5743569a057..0000000000000000000000000000000000000000
Binary files a/unmanaged/64/z3.jar and /dev/null differ