[Zope] symbols undefined after product refresh?