[SR-Dev] [PATCH 3/3] Neither compile nor install sercmd.