Fix frege-repl#12 unicode support