Both files of the 9.4.0 version are the same (sha1sum and md5sum are equal for both files), and don't let me install on JB (4.1.2).