modify workflow in setup.sh
use curl instead of wget
modify workflow in setup.sh again