Rename zip file to reflect new repo name.