fix for last commit: also include user-time, not just kernel-time