Update run.sh: convert tabs to spaces