Zend_Config reimplemented as a php extension