more modest for Ubunti boot disk size