This bug was fixed in the package virtualbox - 4.2.16-dfsg-1ubuntu1
--------------- virtualbox (4.2.16-dfsg-1ubuntu1) saucy; urgency=low
* debian/patches/36-linux-3.11.patch: Fix compilation of guest additions with linux 3.11+ (LP: #1201516). -- Logan Rosen <email address hidden> Sat, 17 Aug 2013 05:54:01 -0400
This bug was fixed in the package virtualbox - 4.2.16- dfsg-1ubuntu1
--------------- dfsg-1ubuntu1) saucy; urgency=low
virtualbox (4.2.16-
* debian/ patches/ 36-linux- 3.11.patch: Fix compilation of guest additions
with linux 3.11+ (LP: #1201516).
-- Logan Rosen <email address hidden> Sat, 17 Aug 2013 05:54:01 -0400