diff --git a/src/aclocal.m4 b/src/aclocal.m4
index 9b2717374..5584dd724 100644
--- a/src/aclocal.m4
+++ b/src/aclocal.m4
@@ -88,13 +88,19 @@ EOF
   if test "${ECL_TO_RUN}" = "failed"; then
     AC_MSG_ERROR(The program ECL is not installed in your system)
   fi
+  ECL_MIN_TO_RUN=`${ECL_TO_RUN} -eval '(progn (print (truename "sys:ecl_min")) (quit))' \
+	| grep '\#\P' | sed 's,#P"\(.*\)",\1,'`
+  if test -z "${ECL_MIN_TO_RUN}" -o "${ECL_MIN_TO_RUN}" = "failed"  ; then
+    AC_MSG_ERROR(The program ECL-MIN is not installed in your system)
+  fi
   DPP_TO_RUN=`${ECL_TO_RUN} -eval '(progn (print (truename "sys:dpp")) (quit))' \
 	| grep '\#\P' | sed 's,#P"\(.*\)",\1,'`
   if test -z "${DPP_TO_RUN}" -o "${DPP_TO_RUN}" = "failed"  ; then
     AC_MSG_ERROR(The program DPP is not installed in your system)
   fi
-  (echo '#!/bin/sh'; echo ${ECL_TO_RUN} -eval "'"'(push :cross *features*)'"'" '$''*') > CROSS-COMPILER
-  (echo '#!/bin/sh'; echo ${DPP_TO_RUN} '$''*') > CROSS-DPP
+  dnl (echo '#!/bin/sh'; echo exec ${ECL_TO_RUN} -eval "'"'(push :cross *features*)'"'" '$''*') > CROSS-COMPILER
+  (echo '#!/bin/sh'; echo exec ${ECL_MIN_TO_RUN} '$''*') > CROSS-COMPILER
+  (echo '#!/bin/sh'; echo exec ${DPP_TO_RUN} '$''*') > CROSS-DPP
   chmod +x CROSS-COMPILER CROSS-DPP
 fi
 ])
diff --git a/src/configure b/src/configure
index c91510536..dfc544971 100755
--- a/src/configure
+++ b/src/configure
@@ -1,5 +1,5 @@
 #! /bin/sh
-# From configure.in Revision.
+# From configure.in Revision: 1.101 .
 # Guess values for system-dependent variables and create Makefiles.
 # Generated by GNU Autoconf 2.59 for ecl 0.9g.
 #
@@ -3382,6 +3382,13 @@ echo "$as_me: error: Configuration aborted" >&2;}
 echo "$as_me: error: The program ECL is not installed in your system" >&2;}
    { (exit 1); exit 1; }; }
   fi
+  ECL_MIN_TO_RUN=`${ECL_TO_RUN} -eval '(progn (print (truename "sys:ecl_min")) (quit))' \
+	| grep '\#\P' | sed 's,#P"\(.*\)",\1,'`
+  if test -z "${ECL_MIN_TO_RUN}" -o "${ECL_MIN_TO_RUN}" = "failed"  ; then
+    { { echo "$as_me:$LINENO: error: The program ECL-MIN is not installed in your system" >&5
+echo "$as_me: error: The program ECL-MIN is not installed in your system" >&2;}
+   { (exit 1); exit 1; }; }
+  fi
   DPP_TO_RUN=`${ECL_TO_RUN} -eval '(progn (print (truename "sys:dpp")) (quit))' \
 	| grep '\#\P' | sed 's,#P"\(.*\)",\1,'`
   if test -z "${DPP_TO_RUN}" -o "${DPP_TO_RUN}" = "failed"  ; then
@@ -3389,8 +3396,8 @@ echo "$as_me: error: The program ECL is not installed in your system" >&2;}
 echo "$as_me: error: The program DPP is not installed in your system" >&2;}
    { (exit 1); exit 1; }; }
   fi
-  (echo '#!/bin/sh'; echo ${ECL_TO_RUN} -eval "'"'(push :cross *features*)'"'" '$''*') > CROSS-COMPILER
-  (echo '#!/bin/sh'; echo ${DPP_TO_RUN} '$''*') > CROSS-DPP
+    (echo '#!/bin/sh'; echo exec ${ECL_MIN_TO_RUN} '$''*') > CROSS-COMPILER
+  (echo '#!/bin/sh'; echo exec ${DPP_TO_RUN} '$''*') > CROSS-DPP
   chmod +x CROSS-COMPILER CROSS-DPP
 fi