diff --git a/doc/PALLENE-UPDATING b/doc/PALLENE-UPDATING
deleted file mode 100644
index 5b657ccb..00000000
--- a/doc/PALLENE-UPDATING
+++ /dev/null
@@ -1,22 +0,0 @@
-This file describes the adaptations we made to the Lua interpreter.
-For the next release, we should consider preparing a proper patch file.
-
-1) Make everything public in the luaconf.h
-
-    #if defined(__GNUC__) && ((__GNUC__*100 + __GNUC_MINOR__) >= 302) && \
-        defined(__ELF__)		/* { */
-    #define LUAI_FUNC	__attribute__((visibility("internal"))) extern
-    #else				/* }{ */
-    #define LUAI_FUNC	extern
-    #endif				/* } */
-    ---
-    #define LUAI_FUNC	LUA_API    /* Pallene exports everything */
-
-2) Add the Linker Hack to the lua.c
-
-    See the end of the "lapi.c"
-
-3) Copy the pallene_core files
-
-    vm/src/pallene_core.h
-    vm/src/pallene_core.c
diff --git a/pallene/c_compiler.lua b/pallene/c_compiler.lua
index eb08a285..c80294a8 100644
--- a/pallene/c_compiler.lua
+++ b/pallene/c_compiler.lua
@@ -17,7 +17,7 @@ local util = require "pallene.util"
 local c_compiler = {}
 
 local CC = "cc"
-local CPPFLAGS = "-I./vm/src"
+local CPPFLAGS = ""
 local CFLAGS_BASE = "-std=c99 -g -fPIC"
 local CFLAGS_WARN = "-Wall -Wundef -Wpedantic -Wno-unused"
 local USER_CFlAGS = os.getenv("CFLAGS") or ""