diff -r a8f5293f7cbc -r 960868c0cbdd lib/scripts/run-mlworks
--- a/lib/scripts/run-mlworks	Wed Dec 17 17:59:18 1997 +0100
+++ b/lib/scripts/run-mlworks	Wed Dec 17 18:13:43 1997 +0100
@@ -42,7 +42,7 @@
 
 ## run it!
 
-START_MLWORKS="$ML_HOME/$MLWORKS $ML_OPTIONS"
+START_MLWORKS="$ML_HOME/$MLWORKS 2>&1 $ML_OPTIONS"
 
 if [ -n "$TERMINATE" ]; then
   sh -c "echo '$MLTEXT' '$MLEXIT' | $START_MLWORKS"
@@ -55,10 +55,6 @@
   RC=$?
 fi
 
-#fix heap file name
-[ -n "$OUTFILE" -a -n "$SUFFIX" -a -f "$OUTFILE$SUFFIX" ] \
-  && mv "$OUTFILE$SUFFIX" "$OUTFILE"
-
 [ -n "$OUTFILE" -a -n "$NOWRITE" ] && chmod -w "$OUTFILE"
 
 exit $RC