Fix up the post-mortem code to handle the syscallrec buffers