Rename aux.cpp to tool.cpp