timer.c now uses clock_gettime(); higher resolution.