Fix execinfo.h including in non-linux.