--- configure   2012-07-10 01:17:03.777702901 -0400
+++ configure.patched   2012-07-10 01:29:06.658727860 -0400
@@ -284,6 +284,14 @@
   exit $1
 } # as_fn_exit
 
+# as_fn_executable_p FILE
+# -----------------------
+# Test if FILE is an executable regular file.
+as_fn_executable_p ()
+{
+  test -f "$1" && test -x "$1"
+} # as_fn_executable_p
+
 # as_fn_mkdir_p
 # -------------
 # Create "$as_dir" as a directory, including parents if necessary.

.