add PostScript output file option