[sr-dev] git:5.7:aaadeb3a: Makefile.defs: version set to 5.7.1