Yes, it's a patched VLC.

And btw, Raspbian's Chromium browser is patched in the same way, so you have a hardware decoded Youtube (or any...