[Bug 12332] driver dev kit won't install