Use printf instead of echo to write trace file (#5397)

Use printf instead of echo to write trace file (#5397) #2066