Revert "[#76658578] Small fix"

This reverts commit b4ebcbd31a8ef415f88cd8e8d0bb36524cccedbc.
Revert "[#76658578] Changed TDT to Ken Traub's library"

This reverts commit 198f3b50750f86724171747c4c170d30d121ef72.