diff --git a/CMakeLists.txt b/CMakeLists.txt
index db72c48549ff0b2f0723e281d58b3ac6e79287c8..c300472e5bc4c082c623da30b21d7ff72bed6fda 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -743,9 +743,8 @@ endif(WIN32)
 
 # mark targets as optional so we can install them separately if needed
 # (e.g. "make lib" or "make shared" followed by "make install/fast")
-install(TARGETS gmsh RUNTIME DESTINATION ${GMSH_BIN} OPTIONAL)
-install(TARGETS lib ARCHIVE DESTINATION lib OPTIONAL)
-install(TARGETS shared LIBRARY DESTINATION lib OPTIONAL)
+install(TARGETS gmsh DESTINATION ${GMSH_BIN} OPTIONAL)
+install(TARGETS lib shared DESTINATION lib OPTIONAL)
 install(FILES ${GMSH_API} DESTINATION include/gmsh)
 install(FILES ${WELCOME_FILE} DESTINATION ${GMSH_DOC} RENAME README.txt)
 install(FILES ${LICENSE_FILE} DESTINATION ${GMSH_DOC})