Good day. Now the media talks about this BadRabbit ransomware but others call it as Diskcoder.D. Why is that? Are they the same virus or different versions?