Fix some stray bashisms in configure.