How to remove pkg-php-tools from Debian 9 (Stretch)