also VirtualBox 4.3.20 works