How to remove php-phpdocumentor-type-resolver from Debian Unstable (Sid)