Win32 doesn't have execinfo.h, so don't include it