ptreefilter.cpp: removed unused function ptree_tostring