diff --git a/Makefile b/Makefile
index a33c336b2b3d4c97238ea53bfcb26a1921378f92..38b7d956872535942a5529c23a0e279d2906cd93 100644
--- a/Makefile
+++ b/Makefile
@@ -18,11 +18,11 @@ uninstall:
 	@dune uninstall
 .PHONY: uninstall
 
-C_SRC = $(wildcard examples/*.c) $(wildcard tutorial/*.c)
+C_SRC = $(wildcard examples/*.c) $(wildcard tutorial/*.c) $(wildcard linux/casestudies/*.c) $(wildcard linux/pkvm/*.c)
 
-%.c.gen: %.c
+%.c.gen: %.c phony
 	@dune exec -- refinedc check --no-build $<
-	@touch $@
+.PHONY: phony
 
 generate_all: $(addsuffix .gen, $(C_SRC))
 .PHONY: generate_all