Ugly fix for nasty bug in timing report.
Ugly fix for nasty bug in timing report.

It would really be nice if we had per-thread timers...

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs