Update bin-dev-tools.sh