Update pkg source info in deb Vagrantfile