How to remove php-symfony-options-resolver from Debian 9 (Stretch)