corrected the name of the downloaded .tar.gz archive

I was not able to push these directly to gentoo-dotnet... This is only a small change to give the downloads a better name than "3.0.27.tar.gz".