Update timestamping patches to correctly format the timestamp output.