[sr-dev] git:5.3:7e1f1182: Makefile.defs: version set to 5.3.7