diff --git a/examples/low-mitls-experiments/Makefile b/examples/low-mitls-experiments/Makefile
index 96020587887..7a31c3dbf8a 100644
--- a/examples/low-mitls-experiments/Makefile
+++ b/examples/low-mitls-experiments/Makefile
@@ -1,6 +1,12 @@
 FSTAR_HOME=../..
-include ../Makefile.include
+EXCLUDED_FSTAR_FILES=
+FSTAR_FILES = $(filter-out $(EXCLUDED_FSTAR_FILES), $(wildcard *.fst))
 
-all: uall
+all: verify-all
 
-uall: HSL.uver
+$(CACHE_DIR):
+	mkdir -p $@
+
+include ../Makefile.common
+
+verify-all: $(CACHE_DIR) $(addsuffix .checked, $(addprefix $(CACHE_DIR)/, $(FSTAR_FILES)))