added back original Vagrantfile