Some genericizing of make_and_run.sh