on linux it is does have timing recording try with

script -tshell_recording.time shell_recording.script bash

scriptreplay -t shell_recording.time shell_recording.script