Fixed missing Vagrantfile