Changed all wget commands to curl, since that seems to available on pretty much every platform (including Git Bash on Windows).