configure: fix shell syntax (fixes #9571)