Version 4.0.10 of Virtualbox has been released today: http://www.virtualbox.org/wiki/Changelog, including the fix for this bug.
Version 4.0.10 of Virtualbox has been released today: http:// www.virtualbox. org/wiki/ Changelog, including the fix for this bug.