Add timing info to the rust version