diff --git a/.github/actions/cache-build/action.yml b/.github/actions/cache-build/action.yml
index 778531702e..664f9ffb30 100644
--- a/.github/actions/cache-build/action.yml
+++ b/.github/actions/cache-build/action.yml
@@ -16,5 +16,5 @@ runs:
     - name: build gradle
       uses: gradle/gradle-build-action@40b6781dcdec2762ad36556682ac74e31030cfe2 # v2.5.1
       with:
-        arguments: ${{ inputs.arguments }}
+        arguments: ${{ inputs.arguments }} --info --stacktrace
       
diff --git a/lib/com.microsoft.z3.jar b/lib/com.microsoft.z3.jar
index 9b62e56522..f324fa7359 100644
Binary files a/lib/com.microsoft.z3.jar and b/lib/com.microsoft.z3.jar differ
diff --git a/lib/com.microsoft.z3legacy.jar b/lib/com.microsoft.z3legacy.jar
index d303f7e05b..87b107e98d 100644
Binary files a/lib/com.microsoft.z3legacy.jar and b/lib/com.microsoft.z3legacy.jar differ
diff --git a/lib/libz3.dll b/lib/libz3.dll
index db605357ee..351c715317 100644
Binary files a/lib/libz3.dll and b/lib/libz3.dll differ
diff --git a/lib/libz3.dylib b/lib/libz3.dylib
old mode 100755
new mode 100644
index 8b9b1c4a59..ad818e1424
Binary files a/lib/libz3.dylib and b/lib/libz3.dylib differ
diff --git a/lib/libz3.so b/lib/libz3.so
old mode 100755
new mode 100644
index 704fc8ae28..cea6b5df57
Binary files a/lib/libz3.so and b/lib/libz3.so differ
diff --git a/lib/libz3java.dll b/lib/libz3java.dll
index dd5f009b32..0edeab75ed 100644
Binary files a/lib/libz3java.dll and b/lib/libz3java.dll differ
diff --git a/lib/libz3java.dylib b/lib/libz3java.dylib
old mode 100755
new mode 100644
index c3744990e2..fd56bc37aa
Binary files a/lib/libz3java.dylib and b/lib/libz3java.dylib differ
diff --git a/lib/libz3java.so b/lib/libz3java.so
old mode 100755
new mode 100644
index 2594705893..e84e047e64
Binary files a/lib/libz3java.so and b/lib/libz3java.so differ