timer (linux implementation) now correctly reports wall clock timing, not total cpu time