Repair idiot typo, and complete the job of trying to
use the Windows time.clock() implementation on Win64.
1 file changed