diff -Nru orig/LocalControl/src/LocalControl.cpp patched/LocalControl/src/LocalControl.cpp
--- orig/LocalControl/src/LocalControl.cpp	2020-11-26 03:00:40.000000000 +0100
+++ patched/LocalControl/src/LocalControl.cpp	2024-02-07 17:17:13.465036700 +0100
@@ -9,6 +9,7 @@
 // [[Rcpp::plugins(cpp11)]]
 
 #include <Rcpp.h>
+#include <pthread.h>
 #include <unistd.h>
 
 using namespace Rcpp;
