disabled dotdeb repo and made some minor patches

dotdeb repo is causing too much grief, shouldn't have so many package
conflicts