update repo url in download.php