On 12/11/2013 03:47 PM, Kent West wrote:
Looks like there may be a bug, as suggested by Ralf's first link:https://forums.virtualbox.org/viewtopic.php?f=7&t=53126
I'll try Ralf's solution:Likely a Debian related issue. I would use VirtualBox from https://www.virtualbox.org/wiki/Linux_Downloads
That worked; I downloaded the .deb from that site, and "dpkg -i"d it. Works great.
Thanks! -- Kent