Improvements to VagrantFile