let zipped_file_name (flags: flags) =
  if Zip_wrapper.enabled then
    (get_flag_string flags.flags FL_ZippedSource)#value
  else
    ""