sh: fix for unicode chars in sh script; might be handled weirdly on some systems