add option to generate PostScript