Index: src/benchmark/bench.h
===================================================================
--- src/benchmark/bench.h	(revision a84306790d15c8aad8810aca4dca6b6598a82744)
+++ src/benchmark/bench.h	(revision dbe77568c1a9061d112464437d381639ef72505b)
@@ -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__ )