Fix conversion of clock() return value to actual time units#98