[PATCH] configure: replace bashisms with POSIX shell