[PATCH] configure: check for execinfo.h