diff --git a/examples/dependability/RBD/Holmakefile b/examples/dependability/RBD/Holmakefile
index 443c1038eb..2ea674ca1c 100644
--- a/examples/dependability/RBD/Holmakefile
+++ b/examples/dependability/RBD/Holmakefile
@@ -1,2 +1,2 @@
-INCDIRS = examples/miller/formalize src/probability src/real/analysis
+INCDIRS = examples/miller/formalize src/probability examples/probability/legacy src/real/analysis
 INCLUDES = $(patsubst %,$(dprot $(HOLDIR)/%),$(INCDIRS))