configure: fix shell syntax (fixes #9571)
Merge remote-tracking branch: upstream/master