[sr-dev] git:3.3: core: handle '\r' as end of included file name