diff --git a/next-lib/src/Makefile b/next-lib/src/Makefile
index 18a1f6bed..fad7db343 100644
--- a/next-lib/src/Makefile
+++ b/next-lib/src/Makefile
@@ -1,6 +1,8 @@
 RUNGHC=runghc
 RUNMAKE=$(RUNGHC) Make.hs
 
+GF_LIB_PATH=..
+
 .PHONY: all present alltenses lang api math prelude test demo synopsis link compiled clean
 
 all: link prelude present alltenses compat
diff --git a/next-lib/src/mkPresent b/next-lib/src/mkPresent
new file mode 100644
index 000000000..21f70c75a
--- /dev/null
+++ b/next-lib/src/mkPresent
@@ -0,0 +1 @@
+grep -v "\-\-\# notpresent" $1