Re: [patch] handle core file names without a pid suffix