"Vagrantfile": Fix Git source code clean-up.