Download to proper filename

app/src/main/java/com/topjohnwu/magisk/model/entity/Repo.java

@@ -7,6 +7,7 @@ import android.os.Parcelable;
 
 import com.topjohnwu.magisk.Const;
 import com.topjohnwu.magisk.utils.Utils;
+import com.topjohnwu.magisk.utils.XStringKt;
 
 import java.text.DateFormat;
 import java.util.Date;
@@ -103,7 +104,7 @@ public class Repo extends BaseModule {
     }
 
     public String getDownloadFilename() {
-        return Utils.INSTANCE.getLegalFilename(getName() + "-" + getVersion() + ".zip");
+        return XStringKt.legalFilename(getName() + "-" + getVersion() + ".zip");
     }
 
     public class IllegalRepoException extends Exception {

app/src/main/java/com/topjohnwu/magisk/model/entity/internal/DownloadSubject.kt

@@ -27,7 +27,7 @@ sealed class DownloadSubject : Parcelable {
 
         @IgnoredOnParcel
         override val file by lazy {
-            File(Config.downloadDirectory, "${module.name}-v${module.version}(${module.versionCode}).zip")
+            File(Config.downloadDirectory, module.downloadFilename)
         }
     }