The text ae3b535b3d55, as Debian 7 (Wheezy) shipped it.
Set the base/extended device id for a device
rio_set_device_id(9) on Linux now