Re: [Zope] symbols undefined after product refresh?