cleaned up Vagrantfile