Re: [Crash-utility] [PATCH v2 2/4] extensions: fix defs.h dependency