Adding default Vagrantfile