Normalize the detection for execinfo, so that Linux (glibc) and other platforms