Update dev-tools.sh