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