run.sh: script to run with Unicode output on Linux