android file name changed in versions.wmi

fix the javascript in download.wml to use the right filename.