--- configure.orig	Fri Feb  9 18:31:26 2001
+++ configure	Thu Feb 15 19:31:10 2001
@@ -3820,5 +3820,5 @@
 	    ;;
 	-O*|-f*)
-	    optimize="$1"
+	    optimize="$optimize $1"
 	    shift
 	    ;;
@@ -5653,8 +5653,4 @@
         ac_sub_cache_file="$ac_dots$cache_file" ;;
       esac
-  case "$ac_given_INSTALL" in
-        [/$]*) INSTALL="$ac_given_INSTALL" ;;
-        *) INSTALL="$ac_dots$ac_given_INSTALL" ;;
-        esac
 
       echo "running ${CONFIG_SHELL-/bin/sh} $ac_sub_configure $ac_sub_configure_args --cache-file=$ac_sub_cache_file --srcdir=$ac_sub_srcdir"