How to remove php-symfony-options-resolver from Debian Unstable (Sid)