How to add codec to vlc osx media player