Fix header tools.h