fix segmentation fault in siox-posix replay