Yesterday I wanted to upload bij Flash Player. I downloaded AdobeFlashPlayer_18_a_install 09.55.30.dmg. I have never seen this name before. Mostly it is AdobeFlashPlayer_18_a_install (at least without the numbers). I would like to know whether I downloaded malware yesterday? Or is it a normal file- name that I don't know of?