How to install php-mockery on Debian 9 (Stretch)