diff --git a/Holmakefile b/Holmakefile
index a9bbf9ab10..06b3f4cc31 100644
--- a/Holmakefile
+++ b/Holmakefile
@@ -1,15 +1,9 @@
-INCLUDES = developers compiler/bootstrap/compilation/x64/64/proofs compiler/bootstrap/compilation/arm8/64/proofs
+INCLUDES = developers examples/compilation/x64/proofs
 
-all: $(DEFAULT_TARGETS) README.md cake-x64-64.tar.gz
+all: $(DEFAULT_TARGETS) README.md examples/compilation/x64/proofs/helloProofTheory.sig
 .PHONY: all
 
 README_SOURCES = COPYING developers examples build-instructions.sh how-to.md
 DIRS = $(wildcard */)
 README.md: developers/readme_gen readmePrefix $(patsubst %,%readmePrefix,$(DIRS)) $(README_SOURCES)
 	developers/readme_gen $(README_SOURCES)
-
-cake-x64-64.tar.gz: compiler/bootstrap/compilation/x64/64/cake-x64-64.tar.gz
-	$(CP) $< $@
-
-cake-arm8-64.tar.gz: compiler/bootstrap/compilation/arm8/64/cake-arm8-64.tar.gz
-	$(CP) $< $@
diff --git a/developers/build-sequence b/developers/build-sequence
index 1534eaf838..4918b13833 100644
--- a/developers/build-sequence
+++ b/developers/build-sequence
@@ -117,6 +117,7 @@ examples/lpr_checker/array
 examples/lpr_checker/array/compilation
 examples/lpr_checker/array/compilation/proofs
 examples/lpr_checker/array/compilation/proofsARM8
+.
 
 examples/xlrup_checker
 examples/xlrup_checker/array