I went to the official Adobe site afterwards and downloaded flashplayer in order to compare the files - the file name from the Adobe site was flashplayer32_a_install.exe (both this file and the first one that I installed were the exact same file size - there was just a slight difference in the file name: 32au_a versus 32_a ).