What's difference between `TGZ_URL` and `DOWNLOAD_URL`? Can this one be deleted?