actually, it's a good point because that's how I always install nvidia drivers as well. Never from the local package manager.