deleted tools/.