make changing the archive mirror easier (to e.g. use apt-cacher)