Two days ago I download mIRC from http://www.mirc.com/get.php and I get mirc719.exe

Today its named cnet_mirc719_exe.exe. wtf? virus? smile