Only support 64 bit arch, because we rely on 64 bit VLC