let open_buffers_file =
  ref (Ed_config.local_dir_rc_file (factory_name^".buffers"))