remove some more obsolete tools