It looks like the "menu" package which includes "update-menus"
is only suggested, at least in r14 Wheezy.
Is there some other mechanism that is supposed to be
updating menus when TDE packages are installed?
If not, I would suggest that something - perhaps "kicker-trinity"
should have a hard dependency on "menu".
--Mike