Fix #467

Now both curl and wget tries to download 10 time an archive before giving up.

(and remove a wrong debug statement ...)