pfile            1539 ext/phar/util.c 			char *pubkey = NULL, *pfile;
pfile            1550 ext/phar/util.c 			spprintf(&pfile, 0, "%s.pubkey", fname);
pfile            1551 ext/phar/util.c 			pfp = php_stream_open_wrapper(pfile, "rb", 0, NULL);
pfile            1552 ext/phar/util.c 			efree(pfile);