* make apt-get source smarter about not downloading the same sources twice