Currently, profile_time is only available on Windows. On other platforms, we should try using POSIX timers (e.g., timer_create) to implement time based profiling.