refs #51, removed to restoring of encoding of the workspace. This is
too dangerous, because the encoding could have been changed. Better
to auto-detect it.