Mirror URL, again, and add installation of some Debian packages.