change .pdf extension to .ps