sh: remove dead config symbols from SH code