removed files; updated formatted output to deal with different int64_t typedefs