workaround for bug #683803 (errors in combination with http.debian.net)