Streamlined bin/run.bash.