Many thanks for your reply. This is all the information I have from the customer:
--
I had to struggle past 'Malwarebytes Browser Guard' which blocked your download, 'something about linking to an external download site (crinkle something?) and it being an untrustworthy site', I had to click on ALLOW (in Malwarebytes) so I could download, (virus check, and eventually) run copyfilenames36.exe
In order to email you the details (of the 'Malwarebytes Browser Guard' message), I tried to reproduce that same error message, but now, I get
Website blocked due to suspicious content
Download blocked: https://www.extrabit.com/downloads/copyfilenames36.exe
Malwarebytes Browser Guard scans downloads started in the browser
and may block/remove the item if it looks suspicious......
--