On Jul 5, 2013, at 08:23, Johannes Kastl wrote: > Virtualbox 4.2.14 has been out for some time, and yesterday the bugfix > release 4.2.16 has been released. Could someone please upgrade the port? Could you please file a ticket in the issue tracker for this update?