One last tweak of the new tmpfs-related replay code