• stage0.bat (link should directly download the file)
• stage1.sh (link should directly download the file; auto-downloaded by stage0.bat)

**FIXME** This should be moved to one of my config management schemes