+ _writefile "| patch configure",<<'CONFIGURE_SUBST_X_EOF';
+--- configure-orig Wed Aug 20 12:10:37 2003
++++ configure Wed Aug 20 13:22:51 2003
+@@ -21590,6 +21590,11 @@
+ rm -f $tmp/stdin
+ if test x"$ac_file" != x-; then
+ mv $tmp/out $ac_file
++ for f in $ac_file_inputs; do
++ if test -x $f; then
++ chmod +x $ac_file
++ fi
++ done
+ else
+ cat $tmp/out
+ rm -f $tmp/out
+CONFIGURE_SUBST_X_EOF