run.sh: fix bug in output redirect