Re: [PATCH] configure: check for execinfo.h