Windows 10 vlc media player for windows 10 64 bit vs 32 bit