bin/isabelle-process

 case "$INPUT" in
   RAW_ML_SYSTEM)
     INFILE=""
     ;;
   */*)
-    INFILE="$INPUT$ML_SUFFIX"
+    INFILE="$INPUT"
     [ ! -f "$INFILE" ] && fail "Bad heap file: \"$INFILE\""
     ;;
   *)
     INFILE=""
     ISA_PATH=""

     IFS=":"
     for DIR in $ISABELLE_PATH
     do
       DIR="$DIR/$ML_IDENTIFIER"
       ISA_PATH="$ISA_PATH  $DIR\n"
-      [ -z "$INFILE" -a -f "$DIR/$INPUT$ML_SUFFIX" ] && INFILE="$DIR/$INPUT$ML_SUFFIX"
+      [ -z "$INFILE" -a -f "$DIR/$INPUT" ] && INFILE="$DIR/$INPUT"
     done
     IFS="$ORIG_IFS"
 
     if [ -z "$INFILE" ]; then
       echo "Unknown logic \"$INPUT\" -- no heap file found in:" >&2

 case "$OUTPUT" in
   "")
     [ -z "$READONLY" -a -w "$INFILE" ] && OUTFILE="$INFILE"
     ;;
   */*)
-    OUTFILE="$OUTPUT$ML_SUFFIX"
+    OUTFILE="$OUTPUT"
     ;;
   *)
     mkdir -p "$ISABELLE_OUTPUT"
-    OUTFILE="$ISABELLE_OUTPUT/$OUTPUT$ML_SUFFIX"
+    OUTFILE="$ISABELLE_OUTPUT/$OUTPUT"
     ;;
 esac
 
 
 ## prepare tmp directory