--- contrib/WFA2-lib/system/profiler_timer.h.orig	2023-01-26 13:43:09 UTC
+++ contrib/WFA2-lib/system/profiler_timer.h
@@ -33,6 +33,7 @@
 #ifndef PROFILER_TIMER_H
 #define PROFILER_TIMER_H
 
+#include <time.h>
 #include "profiler_counter.h"
 
 /*