> I didn't test this much, so make sure that the numbers you get back are sane, > but here is a file which defines a function `fixedGetrusage' which works > exactly like getrusage, but shouldn't display the Linux bugs in the user or > system times. Using this instead of getrusage and all the bugs should go > away. Looks good. Thanks.