Rename aux.h to tool.h