Remove more obsolete tools