Index: src/benchmark/bench.h
===================================================================
--- src/benchmark/bench.h	(revision 28e58fd3419f0fb2ea29ff25f12b79f2d6153feb)
+++ src/benchmark/bench.h	(revision e2f7bc3f75223dd833821863a884160e203bb19d)
@@ -1,12 +1,17 @@
 #pragma once
 
+#ifdef __CFORALL__
 extern "C" {
+#endif
 	#include <unistd.h>					// sysconf
 	#include <sys/times.h>					// times
 	#include <time.h>
+#ifdef __CFORALL__
 }
+#endif
 
-inline unsigned long long int Time() {
-    timespec ts;
+
+static inline unsigned long long int Time() {
+    struct timespec ts;
     clock_gettime(
 #if defined( __linux__ )