modified:   debian-setup.sh