Index: src/benchmark/CorCtxSwitch.c
===================================================================
--- src/benchmark/CorCtxSwitch.c	(revision 348006f9bbb24c9257fa8be8d10695e6da14597d)
+++ src/benchmark/CorCtxSwitch.c	(revision f2e40a9f50860a5c9c4447c43e425d72254dcf7d)
@@ -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 f2e40a9f50860a5c9c4447c43e425d72254dcf7d)
@@ -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 f2e40a9f50860a5c9c4447c43e425d72254dcf7d)
@@ -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 f2e40a9f50860a5c9c4447c43e425d72254dcf7d)
@@ -1,5 +1,5 @@
 #include <fstream>
 #include <stdlib>
-#include <threads>
+#include <thread>
 
 extern "C" {