although there are properties defined in package.xml telling zend extension or not.  I think we can do that later.