These tools are extremely useful especially for usaco. Build files are also included to build a special usaco version. To skip dealing with zip extractors and stuff, a downloader file is all you need.