The advice is, as always, make sure to corroborate the MD5 checksum on your ISO download with the known, safe MD5, and if the two don’t match then don’t run any of the downloaded files. The good news is that anti-virus software appears to be catching the trojan before it installs, but better to be forewarned than rely on software.