Fix bashisms in run.sh