How to install php-symfony-property-info on Debian 9 (Stretch)