let rc_file = Ed_config.rc_file "views"