ZEND PROJECT; support in setup.php script and in ubuntu/debian/mint packages