Vbox fix for octopus

One of those mysterious inexplicable VirtualBox issues.