diff --git a/builds/RV64ACDFIMSUxCHERI_Toooba_RVFI_DII_bluesim/Makefile b/builds/RV64ACDFIMSUxCHERI_Toooba_RVFI_DII_bluesim/Makefile
index 37af0c2..bb4729b 100644
--- a/builds/RV64ACDFIMSUxCHERI_Toooba_RVFI_DII_bluesim/Makefile
+++ b/builds/RV64ACDFIMSUxCHERI_Toooba_RVFI_DII_bluesim/Makefile
@@ -1,15 +1,15 @@
 ###  -*-Makefile-*-
 
-# ================================================================
-# Path to RISCY-OOO sources not included in Common
-
-EXTRA_DIRS = $(RISCY_HOME)/../../src_Verifier
-
 # ================================================================
 
 REPO ?= ../..
 ARCH ?= RV64ACDFIMSUxCHERI
 
+# ================================================================
+# Path to RISCY-OOO sources not included in Common
+
+EXTRA_DIRS = $(REPO)/src_Verifier
+
 # ================================================================
 # RISC-V config macros passed into Bluespec 'bsc' compiler