Update ci_setup_and_run_machete.sh