Delete tools.def