[sr-dev] git:4.0: Makefile.defs: compiler optimization level made variable