All symbols starting with `s' in src/tools

• s src/tools/configure:30
• sed src/tools/configure:70
• set src/tools/configure:444