Patch for UTF-8 on terminal --- by Ben Sittler