mini.msi文件下载，minidownloadlib是什么文件