Update dev_setup.sh