The text 3d5f719fb65d, as FreeBSD 12.0-RELEASE shipped it.
get device name
devname_r(3) on FreeBSD now
