[sr-dev] git:master: core: derive default config name from -DNAME