No, it isn't. These are ads. Do you use any kind of adblocker in your browser? Would be good to install an adblocker, otherwise you will have this problem and download crap oftentimes.
Please try this link:
http://osdn.jp/frs/redir.php?m=jaist...kInfo6_5_2.zip