How to install php-symfony-http-kernel on Debian 9 (Stretch)