Index: src/benchmark/bench.h
===================================================================
--- src/benchmark/bench.h	(revision d8548e26dec392bef45acc8a5f8a4baea00c9257)
+++ src/benchmark/bench.h	(revision bd5cf7c99843603f89e5d97ee6f2f825f9176af5)
@@ -10,5 +10,5 @@
 #if defined(__cforall)
 }
-#include <bits/cfatime.h>
+//#include <bits/cfatime.h>
 #endif