Thanks for the answers Scott and Dmitry The bug report was helpful Dmitry. I do see the problem as fixed when I can be sure that the ABI change triggers an automatic binNMU and nearer to a fix if I can request binNMU myself when it segfaults even if I don't know what causes it. But I will do some more debugging if it happens again and forget the problem until then. Regards Gudjon