remove obsolete Vagrantfile