renamed the 'aux' directory to 'tools' to allow working on Windows (in Windows, 'aux' is a reserved keyword, and so no file or directory can be created with this name