sstrip is now alone in its 'tools' menu, and we will probably never gain
any other 'tool'. Besides, sstrip is just strip, but a little bit more
agressive, so it deserves going to the 'binary utilities' menu.
1 This is NOT the official version of dialog. This version has been
2 significantly modified from the original. It is for use by the Linux
3 kernel configuration script. Please do not bother Savio Lam with