[sr-dev] git:master:0f312342: Makefile.defs: option to disable raw sockets at compile time