remove a bashism in the configure script