Re: [sr-dev] how to change MAIN_NAME?