[sr-dev] git:4.1: Makefile.defs: version set to 4.1.3