The text 74ad56bf34fc, as Debian 8 (Jessie) shipped it.
deregister a USB device's dynamic minor.
usb_deregister_dev(9) on Linux now
