Okay, I've downloaded the latest build vlc-1.20-rc1-20120113-203-win32.exe, installed it, but under preferences, video output I see no crystalhd option. Also, under Input & Codecs I can't find any settings for the crystalhd. I even tried advanced settings, and searching for crystalhd, but found ...