modified:   setup-wheezy.sh Include deletion of deprecated dotdeb.list