If it is detected as a virus it will be blocked by WebShield before you finish the download of the file…
They’re usually quick on correcting false positives… you’re being unluck… hope they’re monitoring this thread…