fix names of downloaded repositories, and add a check to make sure the download worked