MemoLinux SegFaultMint fixes