How to remove php-text-figlet from Debian 9 (Stretch)