diff --git a/lib-bin/64/libz3.so b/lib-bin/64/libz3.so
deleted file mode 100755
index 9e743bf980e48487525b8e4fddae672046b27d69..0000000000000000000000000000000000000000
Binary files a/lib-bin/64/libz3.so and /dev/null differ
diff --git a/unmanaged/64/scalaz3_2.10-2.0.jar b/unmanaged/64/scalaz3-unix-64b-2.1.jar
similarity index 98%
rename from unmanaged/64/scalaz3_2.10-2.0.jar
rename to unmanaged/64/scalaz3-unix-64b-2.1.jar
index c276fb7f7e42b5aeab23f97ee0e94b2b7d44436d..c59bbc1f8c765eadbc6d86d0ea7e26778f78b904 100644
Binary files a/unmanaged/64/scalaz3_2.10-2.0.jar and b/unmanaged/64/scalaz3-unix-64b-2.1.jar differ