Debug build fix for systems with no CLK_TCK. Closes #642