Profiling: measure time on non-Windows/POSIX using clock_gettime (wip)

PowerPC CPU profiling was only enabled on Windows (using QueryPerformanceCounter). Try to do the same thing using POSIX clock_gettime.
space after the `if`