r5195: most events don't need the time of the event, so save a gettimeofday() call