some missing zend 1.12.5 files?