Delete tools.h