Is there any way to get HDR color support working? It seems vlc has no issues with this on every platform I've tried, however I can't seem to come up with a functional recipe for mplayer on any platform. Thanks!