Test and fix that PHP_TokenStream is not leaking memory