Solving a bug in the run_all.sh script.