printf: replace the raw escape character with its octal code