Re: [PATCH] The vagrant images changed to .box extention, collect them