Vlc media player for mac os x 64 bit