Tools for working with and repairing DTED files