git: remove tools that never get used