minor tweaks to run.bash