fixes #6289: avoids concurrent downloads of files with the same name and destination dir.

I think that's fine, it's only an empty file.