cdn.debian.net is still faster than http.debian.net