defect: 4133: fix the code to transfer escape character for the output of getpostscript.awk