@DeViLbOi: no, I checked that right after you first mentioned the versions. I only have one. Same filename, same filesize, same MD5, independent of whether NLM downloaded it or if I d/l it manually. No version-problem here.

It still seems to be necessary in both directories. Don't ask me to explain, that's experiment only.