Ps. I think that dvips on TL should be configured to output to a file by default. Having "o |lpr" in config.ps always gives a problem on win32. I agree with this, FWIW.