more Vagrant cleanup