Fix bashism in configure, introduced in 2.0.9.