[PATCH 2/2] tools: build: Fix bashisms in run.sh