diff --git a/contrib/cmake/src/api/java/CMakeLists.txt b/contrib/cmake/src/api/java/CMakeLists.txt
index 49d4a8841..6e16ddb74 100644
--- a/contrib/cmake/src/api/java/CMakeLists.txt
+++ b/contrib/cmake/src/api/java/CMakeLists.txt
@@ -229,9 +229,7 @@ if (INSTALL_JAVA_BINDINGS)
     PATH
     "Directory to install Z3 Java JNI bridge library relative to install prefix"
   )
-  install(TARGETS z3java
-    LIBRARY DESTINATION "${Z3_JAVA_JNI_LIB_INSTALLDIR}"
-  )
+  install(TARGETS z3java DESTINATION "${Z3_JAVA_JNI_LIB_INSTALLDIR}")
   # Note: Don't use ``DESTINATION`` here as the version of ``UseJava.cmake`` shipped
   # with CMake 2.8.12.2 handles that incorrectly.
   install_jar(z3JavaJar "${Z3_JAVA_JAR_INSTALLDIR}")