Description:

I didn't upgrade virtualbox for a while. After upgrading, I found that the vnc support of virtualbox has gone away. It seems like a bug because I checked the PKGBUILD and it said that virtualbox should be compiled with '--enable-vnc'.

$ vboxheadless -h
Oracle VM VirtualBox Headless Interface 4.2.4_OSE
(C) 2008-2012 Oracle Corporation
All rights reserved.

VBoxHeadless: error: --height: RTGetOpt: Command line option needs argument.
Usage:
-s, -startvm, --startvm <name|uuid> Start given VM (required argument)
-v, -vrde, --vrde on|off|config Enable (default) or disable the VRDE
server or don't change the setting
-e, -vrdeproperty, --vrdeproperty <name=[value]> Set a VRDE property:
"TCP/Ports" - comma-separated list of ports
the VRDE server can bind to. Use a dash between
two port numbers to specify a range
"TCP/Address" - interface IP the VRDE server
will bind to
--settingspw <pw> Specify the settings password
--settingspwfile <file> Specify a file containing the settings password
-c, -capture, --capture Record the VM screen output to a file
-w, --width Frame width when recording
-h, --height Frame height when recording
-r, --bitrate Recording bit rate when recording
-f, --filename File name when recording. The codec used
will be chosen based on the file extension


Additional info:
virtualbox 4.2.4-2

Steps to reproduce: