[Serusers] Re: [Serdev] Getting core dump for ser-0.8.14