diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
index d40d78ea2..5600890c3 100644
--- a/config/rv32gc/coverage.svh
+++ b/config/rv32gc/coverage.svh
@@ -5,9 +5,7 @@
 // This file is needed in the config subdirectory for each config supporting coverage.
 // It defines which extensions are enabled for that config.
 
-`define COVER_RV32I
-`define COVER_RV32M
-`define COVER_RV32F
-`include "coverage/RV32I_coverage.svh"
-`include "coverage/RV32M_coverage.svh"
-`include "coverage/RV32F_coverage.svh"
+`include "RV32I_coverage.svh"
+`include "RV32M_coverage.svh"
+`include "RV32F_coverage.svh"
+`include "RV32Zicond_coverage.svh"