'aux' is a reserved name in Windows, so don't use it as a directory name

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