fix the type of CLOCKS_PER_SEC to match new clock_t type