Also add (currently broken) Unicode support although this is broken by
Shake, the console output interface of which is badly broken (see
Shake #364)