Re: [PATCH] configure: replace bashisms with POSIX shell