diff --git a/coregrind/vg_main.c b/coregrind/vg_main.c
index eaef6d2..15962ce 100644
--- a/coregrind/vg_main.c
+++ b/coregrind/vg_main.c
@@ -32,6 +32,7 @@
 
 #include "core.h"
 #include "ume.h"
+#include "pub_core_execontext.h"
 
 #include <dirent.h>
 #include <dlfcn.h>