[sr-dev] git:master:097637b2: INSTALL Remove flavours and ser/serctl