diff -r 39fe8093b1df -r 1f5740424c69 lib/scripts/run-mosml
--- a/lib/scripts/run-mosml	Sun May 31 15:29:43 2009 +0200
+++ b/lib/scripts/run-mosml	Sun May 31 15:49:35 2009 +0200
@@ -4,7 +4,7 @@
 #
 # Moscow ML 2.00 startup script
 
-export -n INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE
+export -n INFILE OUTFILE MLTEXT TERMINATE NOWRITE
 
 
 ## diagnostics