The text 535feca1a63d, as Debian 7 (Wheezy) shipped it.
Uses an already open file pointer as the output file
PS_open_fp(3) on Linux now
