Uninstalled, rebooted, and now windows defender has set the flag... so we'll never know if reinstalling Avast would have fixed the problem.
And frankly I'm a tad hesitant to re-install the product, for fear of incompatibility somehow, given Avast wasn't setting the flag and we don't seem to know why...
Alan