If he's having the problem I was having, the download had to finish completely to see that it wasn't transfered at the end from temp files to the download location. It started downloading and at the end, the download disspapeared. From temp files too.
That was caused by my Avira antivirus, I then switched to Avast and all problems gone.
If you're saying that for security reasons, he can always download a verified, virus free download (yes , he can be sure that some are virus free) from e.g.. www.rarlabs.com