[sr-dev] git:master:73ba0266: pike: disable destroy of internal tree on mod-destroy callback