Get the VirtualBox image generation to work again