adding execinfo.h check to configure.ac