Don't use bashisms in configure