--- a/src/tracebox/lua.cc	2018-07-20 20:04:08.984285796 +0200
+++ b/src/tracebox/lua.cc	2018-07-20 20:04:22.336156705 +0200
@@ -12,6 +12,7 @@
 #include "lauxlib.h"
 }
 #include "config.h"
+#include "PartialHeader.h"
 
 extern lua_State* l_init();