dptts2.f(3) on Linux

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

dptts2.f(3) on Linux now