Re: [cloud] #136: vagrant boxes fixups