diff --git a/coregrind/m_main.c b/coregrind/m_main.c
index 7a2e424..7c1d0c7 100644
--- a/coregrind/m_main.c
+++ b/coregrind/m_main.c
@@ -38,6 +38,7 @@
 #include "pub_core_execontext.h"
 #include "pub_core_libcbase.h"
 #include "pub_core_libcassert.h"
+#include "pub_core_libcfile.h"
 #include "pub_core_libcprint.h"
 #include "pub_core_main.h"
 #include "pub_core_options.h"