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