The text c60bdc1b50d2, as Debian 8 (Jessie) shipped it.
convert kernel ipc permissions to user
kernel_to_ipc64_perm(9) on Linux now
