webkit: add execinfo patch