* [INCOMPLETE] tds2idc loads executable directly instead of .tds file