Did you manage to solve this problem? Of course you can use an additional hdmi audio extractor. But I don't think this is an elegant solution. I think the software can do this better. Now I'm trying to understand how the VLC encodes a video stream, how to extract the audio from there and how to redi...