Remove garbage from Vagrantfile