manually applied patch for /ipc/util.h