ctpttr(3) on Linux

The text 7e79f3a5dbf8, as Debian 8 (Jessie) shipped it.

ctpttr(3) on Linux now