How to remove php-phpdocumentor-type-resolver from Debian 9 (Stretch)