hangul default coding system fix.

	modified:   knuth-editor.el