Merge pull request #1408 from randomstuff/perf Profiling: measure time on non-Windows/POSIX using clock_gettime
