Re: [sr-dev] git:master: makefile: MAIN_NAME reverted