Unfortunately I won’t be able to forward these 2 files to AVAST, as they are HUGE (60+MB, and I’m on dial-up). Anyway, I suspect Eddy is correct, and that it’s a false positive.