diff -r b9767cb5b06b -r d2bd73d28ff1 ui/common/threadpool.h
--- a/ui/common/threadpool.h	Fri Nov 29 22:21:36 2024 +0100
+++ b/ui/common/threadpool.h	Thu Dec 12 20:01:43 2024 +0100
@@ -31,6 +31,10 @@
 
 #include "../ui/toolkit.h"
 
+#ifndef _WIN32
+#include <pthread.h>
+#endif
+
 #ifdef __cplusplus
 extern "C" {
 #endif