#6192: Issues with Vagrant boxes need fixing