corrected bug in timer.cpp and clbenchmark.cpp