Removed a couple of bashisms in configure