change underlying type of clock_t to be uniform and match ABI