further speed-up by fetching only newly added repositories with apt-get