Re: [sr-dev] command name sercmd hardwired in Makefile