Right, the log does not show the error. We'd need a log immediately taken after a SEGV. OTOH the fix sketched in c#7 is for sure not wrong ;)