better zip management

src

@@ -64,8 +64,8 @@ update_tarfile() {
 update_zipfile() {
 	## Download and extract this zipfile if it doesn't exist yet
 	if ! [ -d "$2" ] ; then
-		wget "$1"
-		unzip "$1" -d "$2"
+		wget "$1" "${2}.zip"
+		unzip "${2}.zip" -d "$2"
 		updated="$updated $2"
 	else
 		echo "Already downloaded"