remove some obsolete tools