Change build to shell script

Fix mirror selection to current location. http.debian.org isn't stable enough
to be used reliably; I keep downloading the same packages from different
European mirror sites, which rather defeats the aim of having a local http
proxy.