All solved by itself - or rather by avast, as soon as avast virus definitions were updated earlier this morning. I guess they spotted this issue and fixed it.