How to install php-token-stream on Debian 9 (Stretch)