[sr-dev] git:master: core: include replaced with include_file