Plus it is a Reputation based warning not an definitive alert. As you can imagine these patches having only just been released won’t have been encountered much before. Even more so as the actual file name is pretty random looking and having a double file extension (.exe.000) can at times be considered suspicious.

But as essexboy said it appears to be legit and we have had one other avast user report this reputation warning popup.