Regenerate configure for Issue#9236

2 jobs for master in 26 minutes and 35 seconds (queued for 32 minutes and 45 seconds)