diff --git a/src/cc/dilithium.c b/src/cc/dilithium.c
index 902a3ca49..6a7f90d83 100644
--- a/src/cc/dilithium.c
+++ b/src/cc/dilithium.c
@@ -6,6 +6,10 @@
  * by Gilles Van Assche, Daniel J. Bernstein, and Peter Schwabe */
 
 #include <stdint.h>
+
+#define DBENCH_START()
+#define DBENCH_STOP()
+
 #include "dilithium.h"