How to remove php-token-stream from Debian 9 (Stretch)