Make download of install.sh work without curl or wget (using python)