diff --git a/examples/tutorial/Makefile b/examples/tutorial/Makefile
index 3b84f32e3..96d0ef8ff 100644
--- a/examples/tutorial/Makefile
+++ b/examples/tutorial/Makefile
@@ -1,11 +1,11 @@
 
 MAKEFILE_DIRS=1-code 3-exec 8-symbexec
-HOLMAKEFILE_DIRS=2-lift 4-bir-to-arm 5-wp 6-smt 7-composition support support2
+HOLMAKEFILE_DIRS=2-lift 4-bir-to-arm 5-wp 6-smt 7-composition
 
 ##########################################################
 
 .DEFAULT_GOAL := all
-all: 7-composition support2
+all: 7-composition
 
 ##########################################################