configure: remove some bashisms