Index: src/benchmark/bench.h
===================================================================
--- src/benchmark/bench.h	(revision 05f4b852a288aa29df576dc46888fde08739d0c2)
+++ src/benchmark/bench.h	(revision d8548e26dec392bef45acc8a5f8a4baea00c9257)
@@ -10,5 +10,7 @@
 #if defined(__cforall)
 }
+#include <bits/cfatime.h>
 #endif
+
 
 static inline unsigned long long int Time() {
@@ -45,5 +47,5 @@
 	( EndTime - StartTime ) / n;
 
-unsigned int default_preemption() {
+__cfa_time_t default_preemption() {
 	return 0;
 }