Delete tools.h~