(ITS#6878) ppcache segfault with tavl_delete