Delete tools.hh