some fixes for small details in the machine resolver portion of the Vagrantfile.