My fixes to the CMU IPC library: https://www.cs.cmu.edu/~ipc/