diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 795852278affe66b57a81d898bd33f9cca20ca7c..03ce58c7286acfb056c16afd46c739a897360249 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -57,6 +57,7 @@ INSTALL(TARGETS ${LIBRARY_NAME}
 ####################################
 SET(plugins_list
 	plugins/shell-procedure
+	plugins/shell-functions
 	debug/contiifstream
 	traces/tracer
 	traces/tracer-real-time