ctrevc.f(3) on Linux

The text d4273b6f9bfa, as Debian 9 (Stretch) shipped it.

ctrevc.f(3) on Linux now