--- a/AbstractOperatingSystem.st	Tue Feb 04 13:09:00 2020 +0100
+++ b/AbstractOperatingSystem.st	Tue Feb 04 13:09:11 2020 +0100
@@ -5835,9 +5835,8 @@
      The fallback here is to use the same encoding as for system calls;
      (which works currently, but who knows...)"
 
-    ^ self encodePathOrCommandInput:aString.
-
-    "Created: / 01-03-2017 / 11:22:27 / cg"
+    aString containsNon7BitAscii ifFalse:[^ aString].
+    ^ self characterEncoderForConsoleOutput encodeString:aString.
 ! !
 
 !AbstractOperatingSystem class methodsFor:'printing support'!