Fixed encoding issue when exporting BeautifulCode.prettify() output to standard ASCII