ctgsy2.f(3) on Linux

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

ctgsy2.f(3) on Linux now