Now do_everything.sh really does everything