switched to stdint.h for twd.h

cleaner, smaller, 64 bits is always 64 bits.