Use platform-independent echo.