Do not override `std` library during playback #17

Job	Run time
Auto Label	4s
Verification Benchmarks / perf-benchcomp	1h 41m 1s
	1h 41m 5s

Provide feedback