Patch for UTF-8 on terminal --- by Ben Sittler <BSittler@KnowNow.com>
-- synclang script must be run after applying the patch