Update workshop_setup.sh