This tool doesn't even exist

Remove tools that don't exist, invisible tools not so
useful to ignore in the first place.

Change-Id: If864ac5317f50699b484a67250fdc24409858fb5