Update HT_HAVE_EXECINFO