makes ps2pdf work.

This fix is entirely due to rsc who emailed me the change,
I am only submitting it to push it into the distribution
in case it gets lost.

-Steve