Kann ja sein, daß nur eine 32-bit Version mitgeliefert wird.
Nur wie willst du wissen daß es nicht geht, wenn du es nicht mal probierst ?
Probier mal "man vlc", kommt da was ?
Geben tut es jedenfalls auch eine 64-Bit-Version:
http://www.realvnc.com/cgi-bin/download.cgi