Fix warning from rdtsc