(CLK_TCK): Cast sysconf result to __clock_t.