- switch from wget to curl for https dowloads, since (some versions of) wget have problems with the https from git's cdn