How to play wrf files in vlc