remove redundant tools

fixes #2002