Profiling: measure time on non-Windows using clock_gettime