Re: Howto get core dump? [Slightly OT]