64-bit vlc player vs 32-bit