getting rid of the Vagrantfile