[Zope] Re: symbols undefined after product refresh?