By the way, if I extract the zip file and scan it, it comes clean in Avast.

I think we can safely conclude this is a false positive, but I’ll wait for Avast’s staff input.