add lines to Vagrantfile