diff --git a/wally-pipelined/config/buildroot/wally-config.vh b/wally-pipelined/config/buildroot/wally-config.vh
index 0a59bc3ad..5ccac7dea 100644
--- a/wally-pipelined/config/buildroot/wally-config.vh
+++ b/wally-pipelined/config/buildroot/wally-config.vh
@@ -41,6 +41,7 @@
 `define ZIFENCEI_SUPPORTED 1
 `define ZICOUNTERS_SUPPORTED 1
 `define COUNTERS 32
+`define DESIGN_COMPILER 0
 
 // Microarchitectural Features
 `define UARCH_PIPELINED 1
diff --git a/wally-pipelined/config/busybear/wally-config.vh b/wally-pipelined/config/busybear/wally-config.vh
index 614cfb2e5..9ab21baed 100644
--- a/wally-pipelined/config/busybear/wally-config.vh
+++ b/wally-pipelined/config/busybear/wally-config.vh
@@ -41,6 +41,7 @@
 `define ZIFENCEI_SUPPORTED 1
 `define ZICOUNTERS_SUPPORTED 1
 `define COUNTERS 32
+`define DESIGN_COMPILER 0
 
 // Microarchitectural Features
 `define UARCH_PIPELINED 1
diff --git a/wally-pipelined/config/coremark/wally-config.vh b/wally-pipelined/config/coremark/wally-config.vh
index 8b1ae7dc7..f147ef0d9 100644
--- a/wally-pipelined/config/coremark/wally-config.vh
+++ b/wally-pipelined/config/coremark/wally-config.vh
@@ -40,6 +40,8 @@
 `define ZIFENCEI_SUPPORTED 1
 `define COUNTERS 32
 `define ZICOUNTERS_SUPPORTED 1
+`define DESIGN_COMPILER 0
+
 
 // Microarchitectural Features
 `define UARCH_PIPELINED 1
diff --git a/wally-pipelined/config/coremark_bare/wally-config.vh b/wally-pipelined/config/coremark_bare/wally-config.vh
index be4a83205..ad3deb607 100644
--- a/wally-pipelined/config/coremark_bare/wally-config.vh
+++ b/wally-pipelined/config/coremark_bare/wally-config.vh
@@ -41,6 +41,8 @@
 `define ZIFENCEI_SUPPORTED 1
 `define COUNTERS 32
 `define ZICOUNTERS_SUPPORTED 1
+`define DESIGN_COMPILER 0
+
 
 // Microarchitectural Features
 `define UARCH_PIPELINED 1