VirtualBox bug ?