Move from ps2ascii to ps2txt, for better results