diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 439d42d..d5320ad 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -119,8 +119,8 @@ set_target_properties(libz3 PROPERTIES
   # libz3.so.W.X.
   # This indicates that no breaking API changes will be made within a single
   # minor version.
-  VERSION ${Z3_VERSION}
-  SOVERSION ${Z3_VERSION_MAJOR}.${Z3_VERSION_MINOR})
+  VERSION 4
+  SOVERSION 4)
 
 if (NOT MSVC)
   # On UNIX like platforms if we don't change the OUTPUT_NAME
diff --git a/src/api/java/CMakeLists.txt b/src/api/java/CMakeLists.txt
index f886639..130a38d 100644
--- a/src/api/java/CMakeLists.txt
+++ b/src/api/java/CMakeLists.txt
@@ -52,6 +52,7 @@ target_include_directories(z3java PRIVATE
 
 # This prevents CMake from automatically defining ``z3java_EXPORTS``
 set_property(TARGET z3java PROPERTY DEFINE_SYMBOL "")
+set_property(TARGET z3java PROPERTY NO_SONAME ON)
 
 # Rule to generate the ``com.microsoft.z3.enumerations`` package
 # FIXME: This list of files is fragile
@@ -223,7 +224,7 @@ if (Z3_INSTALL_JAVA_BINDINGS)
   )
   # FIXME: I don't think this the right installation location
   set(Z3_JAVA_JNI_LIB_INSTALLDIR
-    "${CMAKE_INSTALL_LIBDIR}"
+    "${CMAKE_INSTALL_LIBDIR}/jni"
     CACHE
     PATH
     "Directory to install Z3 Java JNI bridge library relative to install prefix"