more useful debian-devel deps and downloading the debian.org known_hosts file