Index: src/benchmark/CorCtxSwitch.c
===================================================================
--- src/benchmark/CorCtxSwitch.c	(revision 348006f9bbb24c9257fa8be8d10695e6da14597d)
+++ src/benchmark/CorCtxSwitch.c	(revision 29f44a744fffab8271fcd32aa474448ad512e108)
@@ -1,5 +1,5 @@
 #include <fstream>
 #include <stdlib>
-#include <threads>
+#include <thread>
 
 #include <unistd.h>					// sysconf
Index: src/benchmark/ThrdCtxSwitch.c
===================================================================
--- src/benchmark/ThrdCtxSwitch.c	(revision 348006f9bbb24c9257fa8be8d10695e6da14597d)
+++ src/benchmark/ThrdCtxSwitch.c	(revision 29f44a744fffab8271fcd32aa474448ad512e108)
@@ -1,5 +1,5 @@
 #include <fstream>
 #include <stdlib>
-#include <threads>
+#include <thread>
 
 #include <unistd.h>					// sysconf
Index: src/benchmark/bench.c
===================================================================
--- src/benchmark/bench.c	(revision 348006f9bbb24c9257fa8be8d10695e6da14597d)
+++ src/benchmark/bench.c	(revision 29f44a744fffab8271fcd32aa474448ad512e108)
@@ -2,5 +2,5 @@
 #include <fstream>
 #include <stdlib>
-#include <threads>
+#include <thread>
 
 #include <unistd.h>					// sysconf
Index: src/benchmark/csv-data.c
===================================================================
--- src/benchmark/csv-data.c	(revision 348006f9bbb24c9257fa8be8d10695e6da14597d)
+++ src/benchmark/csv-data.c	(revision 29f44a744fffab8271fcd32aa474448ad512e108)
@@ -1,5 +1,5 @@
 #include <fstream>
 #include <stdlib>
-#include <threads>
+#include <thread>
 
 extern "C" {