Delete fairly useless command line tools.