add ext/zopinfo.php for zend optimizer+