Re: [Zope] How to get $PRODUCT_HOME