How to install php-symfony-options-resolver on Debian 9 (Stretch)