IO: suppress_echo and use the same call on all platforms