diff --git a/misc/KE.diff b/misc/KE.diff
index 387f724..2ab3d46 100644
--- a/misc/KE.diff
+++ b/misc/KE.diff
@@ -1,15 +1,13 @@
---- makefile.~1~	2006-07-07 14:50:52.000000000 -0400
-+++ makefile	2008-05-01 10:43:20.000000000 -0400
-@@ -83,7 +83,8 @@
- 	${PDP11D}pdp11_ry.c ${PDP11D}pdp11_pt.c ${PDP11D}pdp11_hk.c \
- 	${PDP11D}pdp11_xq.c ${PDP11D}pdp11_xu.c ${PDP11D}pdp11_vh.c \
- 	${PDP11D}pdp11_rh.c ${PDP11D}pdp11_tu.c ${PDP11D}pdp11_cpumod.c \
--	${PDP11D}pdp11_cr.c ${PDP11D}pdp11_rf.c ${PDP11D}pdp11_dl.c
-+	${PDP11D}pdp11_cr.c ${PDP11D}pdp11_rf.c ${PDP11D}pdp11_dl.c \
-+	${PDP11D}pdp11_ke.c
+--- makefile.orig	2007-02-06 19:24:54.000000000 -1000
++++ makefile	2008-05-02 07:09:37.000000000 -1000
+@@ -85,7 +85,7 @@
+ 	${PDP11D}/pdp11_xq.c ${PDP11D}/pdp11_xu.c ${PDP11D}/pdp11_vh.c \
+ 	${PDP11D}/pdp11_rh.c ${PDP11D}/pdp11_tu.c ${PDP11D}/pdp11_cpumod.c \
+ 	${PDP11D}/pdp11_cr.c ${PDP11D}/pdp11_rf.c ${PDP11D}/pdp11_dl.c \
+-	${PDP11D}/pdp11_ta.c
++	${PDP11D}/pdp11_ta.c ${PDP11D}/pdp11_ke.c
  PDP11_OPT = -DVM_PDP11 -I ${PDP11D} ${NETWORK_OPT}
  
- 
 --- PDP11/pdp11_defs.h.~1~	2006-07-06 11:33:30.000000000 -0400
 +++ PDP11/pdp11_defs.h	2008-05-01 11:12:57.000000000 -0400
 @@ -561,6 +561,8 @@