diff --git a/doc/index.html b/doc/index.html
index 70afbb5..7141931 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -198,7 +198,7 @@ beta, is a beta).
 <li> <tt>socket.gettime</tt> returns time since Unix Epoch 1/1/1970 (UTC)
 <li> <tt>socket.sleep</tt> is robust to interrupts;
 <li> <tt>socket.select</tt> wasn't calling <tt>tm_markstart</tt>;
-<li> <tt>http.PROXY</tt> etc wasn't working.
+<li> <tt>http.PROXY</tt> wasn't working.
 </ul>
 
 <!-- incompatible +++++++++++++++++++++++++++++++++++++++++++++++++++++++ -->
diff --git a/makefile.dist b/makefile.dist
index 267709f..a31a9a5 100644
--- a/makefile.dist
+++ b/makefile.dist
@@ -11,6 +11,7 @@ LUA = \
 	mime.lua \
 	smtp.lua \
 	socket.lua \
+	compat-5.1.lua \
 	tp.lua \
 	url.lua
 
@@ -37,7 +38,6 @@ ETC = \
 	check-links.lua \
 	dict.lua \
 	get.lua \
-	lua.lua \
 	unix.c \
 	unix.h \
 	lp.lua \
@@ -72,7 +72,9 @@ CORE = \
 	usocket.c \
 	usocket.h \
 	wsocket.c \
-	wsocket.h
+	wsocket.h \
+	compat-5.1.c \
+	compat-5.1.h
 
 MAKE = \
 	makefile.Darwin \
@@ -90,6 +92,7 @@ MANUAL = \
 	manual/ltn12.html \
 	manual/luasocket.png \
 	manual/mime.html \
+	manual/instalation.html \
 	manual/reference.css \
 	manual/reference.html \
 	manual/smtp.html \