Re: [Crash-utility] [PATCH 2/2] Update extensions/defs.h