Have run.sh be more careful about whitespace