Re: #6192: Issues with Vagrant boxes need fixing