Sadly, I’m not sure. Windows defender has a pretty ugly habbit of just nuking random stuff.
Well, I downloaded it again today and all is fine now.
