[Zope] How to get $PRODUCT_HOME