empty Vagrantfile