Adds VirtualBox 4.3.10 bug workaround