The text b88f2faf3032, as Debian 8 (Jessie) shipped it.
get number of processors
get_nprocs(3) on Linux now
