Re: [trinity-devel] "wrong" ISO image size to be used in VirtualBox