[DFSan] Fixup for r213980