cleaned up Vagrantfiles