ctrsen.f(3) on Linux

The text 6b8c1db1f0cc, as Debian 7 (Wheezy) shipped it.

ctrsen.f(3) on Linux now