diff --git a/src/global.cc b/src/global.cc
index 7789bb85..0afe16d6 100644
--- a/src/global.cc
+++ b/src/global.cc
@@ -32,6 +32,8 @@
 #include "global.h"
 #if defined(HAVE_BOOST_PYTHON)
 #include "pyinterp.h"
+#else
+#include "session.h"
 #endif
 #include "item.h"
 #include "journal.h"