[sr-dev] command name sercmd hardwired in Makefile