The text e0e5d9d5a52e, as Debian 8 (Jessie) shipped it.
hwloc_cuda_get_device_osdev_by_index(3) on Linux now
