The Bad Rabbit malware was disguised as a Flash update