Re: [Bug 3970] Segmentation fault