reusing VirtualBox 4.2 driver for VirtualBox 4.3