dlals0.f(3) on Linux

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

dlals0.f(3) on Linux now