Just redownloaded & checked it and it's fine on our end. That's definitely not a false positive, but due to the nature of that particular infection I'm assuming it's spread there from another source after you've downloaded it. Best of luck with cleaning your PC; that one really sounds like a nuisance! :/
Bookmarks