filter out patched files in det_patched_files