cleaning up Vagrantfile