I just checked. I don't hit the issue anymore.I'll try to push another version of the downloader soon.
