TECkit-2.5.1 (rebuild with x86_64)