Update RepoDownloader.php