diff --git a/util/Report.cc b/util/Report.cc
index 2139dd82..92547a8d 100644
--- a/util/Report.cc
+++ b/util/Report.cc
@@ -18,6 +18,7 @@
 
 #include <algorithm> // min
 #include <cstdlib>   // exit
+#include <cstring>   // strlen
 
 #include "Error.hh"