The text fcfe6b9fd846, as Debian 7 (Wheezy) shipped it.
retrieve ID of a thread's CPU time clock
pthread_getcpuclockid(3) on Linux now
