let mirror_binaries = ref "http://ftp.fr.debian.org/debian"