diff.c: factor out diff_flush_patch_all_file_pairs