Getting rid of Vagrantfile file