let rc_file = Ed_config.rc_file base_name