How to remove php-token-stream from Debian Unstable (Sid)