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

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