possible to upgrade TDE3.5.12 > TDE 3.5.13.1?