Regenerate configure for Issue#9236

configure

 #! /bin/sh
-# From configure.in Id: d491e70670048cb080e0e996d172cd27960e4328 .
+# From configure.in Id: 1e681bca311262d7c74837076cd37d5595229169 .
 # Guess values for system-dependent variables and create Makefiles.
 # Generated by GNU Autoconf 2.69.
 #
@@ -3754,7 +3754,7 @@ if test "${enable_shell+set}" = set; then :
 	ol_enable_shell="$ol_arg"
 else
-  	ol_enable_shell=${ol_enable_backends:-no}
+  	ol_enable_shell=no
 fi
 # end --enable-shell