Small VirtualBox image generation fix