I agree with Felix, starting a local https server would be the best way - but it implies IMO too much overhead, and would bloat build-dependencies (and thus probably scare the release team from accepting this into Wheezy), so I'm uploading with the patch I prepared. Thanks,