web: delete unused tool binaries.