PS_include_file(3) on Linux

The text 4665c8ec8464, as Debian 5.0 (Lenny) shipped it.

PS_include_file(3) on Linux now