search: add tdestroy (gnu extension)
2 files changed