Fix dev-setup.sh