Tweak path in dev_setup.sh