timers was broken unless on an intel-compatible CPU, now we use the standard timer functions where rdtsc ticks are not available

fixed formatting of size_t and other types