Your removed Vagrantfile. Is it wanted ?