How to remove php-finder-facade from Debian 9 (Stretch)