diff --git a/lang/m2/libm2/pmfile b/lang/m2/libm2/pmfile
index f8f7c52ef..5b629dd07 100644
--- a/lang/m2/libm2/pmfile
+++ b/lang/m2/libm2/pmfile
@@ -26,7 +26,7 @@ local headers = group {
 		pm.install(d.."Strings.def", "%BINDIR%include/m2/Strings.def"),
 		pm.install(d.."StripUnix.def", "%BINDIR%include/m2/StripUnix.def"),
 		pm.install(d.."Termcap.def", "%BINDIR%include/m2/Termcap.def"),
-		pm.install(d.."Terminal.def", "%BINDIR%include/m2/Terminal.def"),
+--		pm.install(d.."Terminal.def", "%BINDIR%include/m2/Terminal.def"),
 		pm.install(d.."Traps.def", "%BINDIR%include/m2/Traps.def"),
 		pm.install(d.."Unix.def", "%BINDIR%include/m2/Unix.def"),
 		pm.install(d.."XXTermcap.def", "%BINDIR%include/m2/XXTermcap.def"),
@@ -46,7 +46,7 @@ local tail = acklibrary {
 	ackfile (d.."RealInOut.mod"),
 	ackfile (d.."InOut.mod"),
 	ackfile (d.."Streams.mod"),
-	ackfile (d.."Terminal.mod"),
+--	ackfile (d.."Terminal.mod"),
 	ackfile (d.."MathLib0.mod"),
 	ackfile (d.."Mathlib.mod"),
 	ackfile (d.."Processes.mod"),