Bug?? in TDE 3.13.2 on Wheezy