let unsilenced_files = FilenameMap.filter (fun f ->
    let list = List.map snd (Options.silences options) in
    let path = Sys_utils.normalize_filename_dir_sep (string_of_filename f) in
    not (List.exists (fun rx -> Str.string_match rx path 0) list)
  ) files in