Turns out I was overthinking phl_recv() a lot.  The TCP packets that we're sending are too small to get fragmented.