Re: "wrong" ISO image size to be used in VirtualBox