short-names: Consider character encoding when making short names.